Church–Turing thesis

Results: 76



#Item
11Computability theory / Turing machine / Alan Turing / Models of computation / Hypercomputation / Computability / Computational complexity theory / Church–Turing thesis / Hava Siegelmann / Theoretical computer science / Computer science / Theory of computation

work (5). A contact network is a directed graph with a single special source s and a single special sink t. Each edge is labeled with either x or 2, where x is some variahle. Given any assignment of values to the variabl

Add to Reading List

Source URL: binds.cs.umass.edu

Language: English - Date: 2014-12-01 15:40:28
12Computer science / Computable function / Halting problem / Church–Turing thesis / Turing machine / Algorithm / Busy beaver / Computability / Entscheidungsproblem / Computability theory / Theoretical computer science / Theory of computation

Lecture on undecidability July 27, 2011 inofficial script based on a lecture by Michael M. Wolf (TU München)

Add to Reading List

Source URL: problem24.files.wordpress.com

Language: English - Date: 2011-07-27 08:48:45
13Applied mathematics / Theory of computation / Systems / Complex systems theory / Cybernetics / Computable function / Church–Turing thesis / Complexity / Hypercyclic morphogenesis / Theoretical computer science / Science / Computability theory

DOC Document

Add to Reading List

Source URL: cob.jmu.edu

Language: English - Date: 2007-12-14 11:41:07
14Computability theory / Theory of computation / Lambda calculus / Mathematical logic / Church–Turing thesis / Entscheidungsproblem / Halting problem / System F / Computability / Mathematics / Theoretical computer science / Computer science

Church’s undecidability result Alan Turing Birth Centennial Talk at IIT Bombay, Mumbai Joachim Breitner April 21, 2011

Add to Reading List

Source URL: www.joachim-breitner.de

Language: English - Date: 2014-10-06 15:51:37
15Computer science / Halting problem / Computability / Universal Turing machine / Turing machine / Computable function / Church–Turing thesis / Algorithm / Alan Turing / Computability theory / Theoretical computer science / Theory of computation

Universal Field Machine that Computes Beyond the Turing Limit  ´ M. Fernandez ´ Julian

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2012-09-20 14:36:17
16Computability theory / Computer science / Alan Turing / Models of computation / Computability / Halting problem / Church–Turing thesis / Description number / Non-deterministic Turing machine / Turing machine / Theory of computation / Theoretical computer science

Models of Computation Lecture 6: Turing Machines [Fa’14] Caveat lector: This is the zeroth (draft) edition of this lecture note. In particular, some topics still need to be written. Please send bug reports and suggest

Add to Reading List

Source URL: web.engr.illinois.edu

Language: English - Date: 2014-12-28 09:05:13
17Applied mathematics / Computability theory / Models of computation / Turing machine / Alan Turing / Hypercomputation / Super-recursive algorithm / Church–Turing thesis / Computability / Theoretical computer science / Theory of computation / Computer science

Asia Pacific Mathematics Newsletter 1 OnDemons Demons and On

Add to Reading List

Source URL: www.asiapacific-mathnews.com

Language: English - Date: 2012-02-16 01:26:56
18Computability theory / Mathematics / Alan Turing / Turing machine / Models of computation / Universal Turing machine / Church–Turing thesis / Halting problem / Entscheidungsproblem / Theoretical computer science / Computer science / Theory of computation

Book Review His Just Deserts: A Review of Four Books Reviewed by Alvy Ray Smith Malleability and Amplification are the twin glories

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 2014-07-31 09:01:39
19Computability theory / Theory of computation / Computational complexity theory / Models of computation / Complexity classes / Decision problem / Church–Turing thesis / Computability / P / Theoretical computer science / Applied mathematics / Computer science

Computational Complexity in Membrane Systems Mario J. P´erez–Jim´enez Research Group on Natural Computing Dpt. of Computer Science and Artificial Intelligence University of Seville, Spain

Add to Reading List

Source URL: www.math.utu.fi

Language: English - Date: 2014-10-07 08:49:23
20Computability theory / Theory of computation / Quantum measurement / Alan Turing / Quantum mechanics / Church–Turing thesis / Computable function / Quantum indeterminacy / Indeterminacy / Theoretical computer science / Physics / Science

The Origin of Physical Laws and Sensations Bruno Marchal, IRIDIA, Université de Bruxelles Résumé : I will first present a non constructive argument showing that the mechanist hypothesis in cognitive science gives enou

Add to Reading List

Source URL: iridia.ulb.ac.be

Language: English - Date: 2007-06-27 08:53:52
UPDATE